121. Expertensysteme in Produktion und Engineering :
پدیدآورنده : herausgegeben von H.-J. Bullinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Expert systems (Computer science) -- Congresses.,Production engineering -- Data processing -- Congresses.,Production management -- Data processing -- Congresses.
122. Extreme man-made and natural hazards in dynamics of structures /
پدیدآورنده : edityed by Adnan Ibrahimbegovic and Ivica Kozar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Hazard mitigation, Congresses.,Natural disaster warning systems, Congresses.,Structural analysis (Engineering), Congresses.,Structural dynamics, Congresses.,Hazard mitigation.,Hazard mitigation.,Natural disaster warning systems.,Natural disaster warning systems.,Physique.,Structural analysis (Engineering),Structural analysis (Engineering),Structural dynamics.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Structural.
رده :
TA654
.
N35
2006eb
123. Fahrerassistenzsysteme 2018 :
پدیدآورنده : Hrsg. Torsten Bertram.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Driver assistance systems, Congresses.,Driver assistance systems.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL272
.
57
124. First International Conference on Intelligent Systems Engineering : 19-21 August 1992
پدیدآورنده : organised by the Computing and Control Division of the Institution of Electrical Engineers, in association with American Association for Artificial Intelligence ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Intelligent control systems - Congresses , Systems engineering - Congresses
رده :
TJ
217
.
5
.
I547
1992
125. First National Conference on Rapid Prototyping and Tooling Research
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Prototypes, Engineering-- Congresses,، Hardware-- Design and construction-- Data processing-- Congresses,، CAD/CAM systems-- Congresses
رده :
TS
171
.
4
.
N37
1995
126. First World Conference on Structural Control: proceedings, 3-5 August 1994, Los Angeles, California, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Structural control )Engineering(,Congresses ، Intelligent control systems
رده :
TA
654
.
9
.
W67
1994
127. Flexible automation and intelligent manufacturing 1997: proceedings of the Seventh International FAIM Conference, European Process Industries Competitivieness Centre, University of Teesside, Middlesbrough, England, June 25-27, 1997
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Automation,Congresses ، Flexible manufacturing systems,Congresses ، Computer integrated manufacturing systems,Congresses ، Concurrent engineering
رده :
T
59
.
5
.
I5714
1997
128. Formal Techniques for Safety-Critical Systems
پدیدآورنده : [edited by] Cyrille Artho, Peter Csaba Olveczky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها,ایمنی سیستم‌ها -- کنگره ها ,م‍ه‍ن‍دس‍ی س‍ی‍س‍ت‍م ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
129. Formal approaches to Agent - based systems
پدیدآورنده : / Michael G.Hinchey......[and other]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Intelligent control systems - congresses,Software engineering - congresses
رده :
629
.
8028
F723
130. Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
پدیدآورنده : Michael G. Hinchey... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3228
131. Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers
پدیدآورنده : Michael G. Hinchey ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent control systems,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2699
132. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
133. Formal techniques for safety-critical systems :
پدیدآورنده : Cyrille Artho, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Systems engineering, Congresses.,Formal methods (Computer science),System safety.,Systems engineering.
رده :
QA76
.
9
.
F67
134. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
135. #Fractals and chaos in chemical engineering
پدیدآورنده : #editors, M. Giona, G. Biardi
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Chemical engineering- Mathematical models- Congresses ،Fractals- Congresses ،Chaotic behavior in systems- Congresses
رده :
#
TP
،#.
F73
،#
1996
136. Future Information Technology :
پدیدآورنده : James J. (Jong Hyuk) Park, Ivan Stojmenovic, Min Choi, Fatos Xhafa, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information technology, Congresses,Communications Engineering, Networks,Information Systems and Communication Service,Multimedia Information Systems
رده :
T58
.
5
.
I58
2012
137. Future Information Technology : FutureTech 2013
پدیدآورنده : James J Park; Ivan Stojmenovic ; Min Choi; Fatos Xhafa
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Information technology,، Communications Engineering, Network,، Information Systems and Communication Service
رده :
T58
.
5
138. Future communication, computing, control and management
پدیدآورنده : / Ying Zhang (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer networks--Congresses,Automation--Congresses,Mobile communication systems--Congresses,Reliability (Engineering)--Congresses
رده :
TK5105
.
5
.
I5857
2012
139. Future communication, computing, control and management
پدیدآورنده : Ying Zhang (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automation, Congresses,Computer networks, Congresses,Mobile communication systems, Congresses,Reliability (Engineering), Congresses
رده :
TK5105
.
5
.
I5857
2012eb
